The tools and infrastructure to integrate ZK into any application

Make any program verifiable with OpenVM and get production-ready fast with the Axiom Proving API.

Chat with us
Get started
Trusted by:
LogoLogoLogoLogoLogoLogoLogoLogoLogoLogo

ZK without limits

Use OpenVM and the Axiom Proving API to tailor ZK to your specific application without needing your own specialized infrastructure

OpenVM

Everything you need to deploy ZK into production

Tailor ZK for your application with the modular OpenVM design
Verify your application in ZK with OpenVM
Read more

Flexibility

Write programs in Rust and verify in ZK

Custom VM Extensions

Accelerate proving for your application with custom VM extensions

Efficiency

Verify proofs onchain efficiently

Axiom proving API

Deploy ZK in your application with the Axiom Proving API

High-performance ZK proving infrastructure
Generate proofs quickly and reliably for your application
Read more

Reliable builds. Trusted artifacts.

Reproducible builds and artifact management for OpenVM programs

Great proof generation

Fast and cheap ZK proof generation for OpenVM

Scalability

Scale out ZK proof generation on Axiom’s robust infrastructure

Axiom NEWS

Latest Announcements

See all
Introducing the Axiom Proving API BetaIntroducing the Axiom Proving API Beta
Product

Introducing the Axiom Proving API Beta

Announcing the private beta launch of the Axiom Proving API.

13 May 2025
Releasing OpenVM v1.0.0 to ProductionReleasing OpenVM v1.0.0 to Production
Product

Releasing OpenVM v1.0.0 to Production

Announcing the first production v1.0.0 release of OpenVM.

31 Mar 2025
Introducing OpenVMIntroducing OpenVM
Product

Introducing OpenVM

Announcing the first release of OpenVM, a novel open-source zkVM framework prioritizing modularity and extensibility.

16 Dec 2024
Announcing Axiom's $20 Million Series A RoundAnnouncing Axiom's $20 Million Series A Round
Announcement

Announcing Axiom's $20 Million Series A Round

We’ve raised $20 million, led by Paradigm and Standard Crypto, to give developers access to the power of zero-knowledge proofs.

25 Jan 2024

USe Cases

Push the frontier of what’s possible onchain with ZK

Use OpenVM and the Axiom Proving API to tailor ZK to your specific application without needing your own specialized infrastructure

Start building

Secure any rollup with cryptography

Enable faster withdrawals and easier interop while keeping proving costs below $0.001 per transaction

Support for Scroll, OP Stack (coming soon), or your own custom rollup

Reduce withdrawal windows from 7 days to 1 hour
Secure your rollup with cryptography instead of incentives
Supercharge interoperability by making your rollup a ZK rollup
Proving costs below $0.001 per transaction
supporting:

Support for custom rollups

Axiom can help implement OpenVM on your own custom rollup. Reach out to our team for more details.

Reach out

Prove every Ethereum block

Our mission is to verify mainnet blocks in real-time to scale Ethereum

Building an L1 zkEVM towards use in mainnet Ethereum

Scale gas on L1 by replacing consensus with ZK cryptography
Proving costs below $0.001 per transaction
supporting:

The path to real-time proving

Learn about the key role real-time proving plays in the Ethereum roadmap.

Read more

Applications

Axiom works anywhere

Out-of-the-box support for the most common stacks, and custom implementations for your specific ZK use case

in production

Axiom + Scroll mainnet

Finalizing Scroll mainnet since April 2025

Enable Scroll to become a Stage 1 rollup with Type 1 zkEVM
Add support for EIP-7702 and RIP-7212 in days, not months
Reduce transaction fees by 10x

Coming soon

Axiom + OP Stack

Add ZK validity or fraud proofs to your OP Stack chain with OpenVM

Cut withdrawal windows from 7 days to as low as 1 hour
Reduce or remove challenge bonds for OP Stack
Proving costs below $0.001 per transaction